Software Construction for 3 Dimensional Animation Supporting Numerical Analysis
نویسندگان
چکیده
منابع مشابه
An Animation Tool for Supporting Specification-Based Software Architectures
One of the important issues in supporting specification-based software architectures is how to verify that formal specifications of a software system satisfy liveness, safety and timing constraints, and are consistent and complete with regard to user requirements. Animation has been proposed as one of the techniques for achieving this goal. This article presents a practical approach and a tool ...
متن کاملRigorous Methods for Software Construction and Analysis
We survey here the key objectives and the structure of the Dagstuhl Seminar 06191, which was organized as Festkolloquium on the occasion of Egon Börger’s 60th birthday, in May 2006 in Schloss Dagstuhl, Germany. Focusing on applied formal methods, the final seminar program covered a wide range of applied research spanning from theoretical and methodological foundations to practical applications ...
متن کاملConstruction of initial data for 3+1 numerical relativity
This lecture is devoted to the problem of computing initial data for the Cauchy problem of 3+1 general relativity. The main task is to solve the constraint equations. The conformal technique, introduced by Lichnerowicz and enhanced by York, is presented. Two standard methods, the conformal transversetraceless one and the conformal thin sandwich, are discussed and illustrated by some simple exam...
متن کاملA Parallel Program Execution Model Supporting Modular Software Construction
A watershed is near in the architecture of computer systems. There is overwhelming demand for systems that support a universal format for computer programs and software components so users may benefit from their use on a wide variety of computing platforms. At present this demand is being met by commodity microprocessors together with standard operating system interfaces. However, current syste...
متن کاملComputer Animation 1 Two-dimensional Animation
Animated images are almost magical in their ability to capture our imagination. By telling a compelling story, astounding with special e ects, or mesmerizing with abstract motion, animation can infuse a sequence of inert images with the illusion of motion and life. Creating this illusion, either by hand or with the assistance of computer software, is not easy. Each individual image, or frame, i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Visualization Society of Japan
سال: 1998
ISSN: 1884-037X,0916-4731
DOI: 10.3154/jvs.18.supplement2_61